Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
21	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
22	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
23	Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-12-16 04:18:28 Mathematics Computing Mathematical logic Database theory Complexity classes Boolean algebra Algebraic structures Relational model Datalog Relational algebra Tuple FO
24	Programming Question BBN (Beltway Bandits, NA) is building a query tool to help their grant writers find old proposals to reuse for new proposals. Your part is a “query improver” which should take a query and suggest Add to Reading List Source URL: cs.northwestern.edu Language: English - Date: 2004-06-24 16:16:44 Information science Information retrieval Statistical natural language processing Tfidf Vector space model Artificial neural network OPS5 Search engine technology Standard Boolean model Latent semantic analysis
25	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation
26	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
27	245 Doc. Math. J. DMV Boolean Localization, in Practice Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-13 07:29:15 Homotopy theory Sheaf theory Category theory Functors Algebraic topology Simplicial presheaf Model category Sheaf Simplicial set Topos Grothendieck topology Stalk
28	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2010-08-07 06:03:33 Automated theorem proving Model theory Formal methods Constraint programming Resolution Skolem normal form Lambda calculus Satisfiability Boolean satisfiability problem Conjunctive normal form
29	Building a Search Engine Model with Morphological Normalization Support 1 ˇ Jure Miji´c1 , Bojana Dalbelo Baˇsi´c1 , Jan Snajder 1 Add to Reading List Source URL: hnk.ffzg.hr Language: English - Date: 2012-11-27 12:07:35 Natural language processing Information retrieval Full text search Query expansion Ranking Vector space model Search engine indexing Document retrieval Stop words Index term Extended Boolean model Book:Information retrieval

UPDATE